f(x, z) == x;
